Цикл сначала выполнит тело, а затем проверит условие (i<3), и пока его значение равно Истине, он будет выполняться снова и снова.
Такая форма синтаксиса оправдана, если вы хотите, чтобы тело цикла выполнилось хотя бы один раз, даже если условие окажется ложным.